home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / prolog1.arc / SUCCESS.PRO < prev    next >
Encoding:
Text File  |  1985-05-30  |  256 b   |  7 lines
  1. s(X,Y) :- X1 is X + 1, (Y is X1 ; s(X1,Y) ).
  2.  
  3. s1(X,Y) :- X1 is X + 1, Y is X + 1.
  4. s1(X,Y) :- X1 is X + 1, s1(X1, Y).
  5.  
  6. s2(X,Y) :- X1 is X + 1, Y is X1.
  7.